JumpVR: Jump-Based Locomotion Augmentation for Virtual Reality